protoknow(p,sp,pri(lst,[pri(aenc,[cm(d_1,[u],dot),pri(pk,[cmr(kM,[srv],[])])]),pri(pk,[cmr(kM,[srv],[])]),cm(d_2,[u],dot)])).
